Khaled El-Fakih: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

An Integer Linear Programming model and Adaptive Genetic Algorithm approach to minimize energy consumption of Cloud computing data centers

Ibrahim, Huda, Aburukba, Raafat O., El-Fakih, Khaled

Journal:

Computers & Electrical Engineering

Year:

2018

Language:

english

File:

PDF, 1.17 MB

english, 2018

2

[IEEE 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Lisbon, Portugal (2018.7.16-2018.7.20)] 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - GPU and Multiprocessing Parallel Implementations for the Elimination of Finite State Machine Mutants

Badawi, Emad, El-Fakih, Khaled, Barlas, Gerassimos

Year:

2018

Language:

english

File:

PDF, 3.27 MB

english, 2018

3

Heuristics for deriving distinguishing experiments of nondeterministic finite state machines

El-Fakih, Khaled, Haddad, Abdul Rahim, Aleb, Nassima, Yevtushenko, Nina

Journal:

Applied Soft Computing

Year:

2016

Language:

english

File:

PDF, 1.52 MB

english, 2016

4

Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers

El-Fakih, Khaled, Bochmann, Gregor von

Journal:

IEEE Transactions on Software Engineering

Year:

2018

Language:

english

File:

PDF, 1.67 MB

english, 2018

5

Parallel algorithms for reducing derivation time of distinguishing experiments for nondeterministic finite state machines

El-Fakih, Khaled, Barlas, Gerassimos, Ali, Mustafa, Yevtushenko, Nina

Journal:

International Journal of Parallel Emergent and Distributed Systems

Year:

2017

Language:

english

File:

PDF, 2.10 MB

english, 2017

6

On adaptive experiments for nondeterministic finite state machines

Kushik, Natalia, El-Fakih, Khaled, Yevtushenko, Nina, Cavalli, Ana R.

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2016

Language:

english

File:

PDF, 885 KB

english, 2016

7

Deriving protocol specifications from service specifications written as Predicate/Transition-nets

Hirozumi Yamaguchi, Khaled El-Fakih, Gregor v. Bochmann, Teruo Higashino

Journal:

Computer Networks

Year:

2007

Language:

english

File:

PDF, 1.37 MB

english, 2007

8

Petri net-based protocol synthesis with minimum communication costs

Khaled El-Fakih, Hirozumi Yamaguchi, Gregor v. Bochmann, Teruo Higashino

Journal:

Journal of the Franklin Institute

Year:

2006

Language:

english

File:

PDF, 333 KB

english, 2006

9

[IEEE 2017 7th International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO) - Sharjah, United Arab Emirates (2017.4.4-2017.4.6)] 2017 7th International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO) - Parallel implementation for deriving preset distinguishing experiments of nondeterministic finite state machines

Haddad, Abdul Rahim, El-Fakih, Khaled, Barlas, Gerassimos

Year:

2017

Language:

english

File:

PDF, 286 KB

english, 2017

10

Scheduling Internet of Things requests to minimize latency in hybrid fog-cloud computing

Aburukba, Raafat O., AliKarrar, Mazin, Landolsi, Taha, El-Fakih, Khaled

Journal:

Future Generation Computer Systems

Year:

2019

Language:

english

File:

PDF, 1.69 MB

english, 2019

11

Test Translation for Embedded Finite State Machine Components

El-Fakih, Khaled, Yevtushenko, Nina

Journal:

The Computer Journal

Year:

2016

Language:

english

File:

PDF, 1022 KB

english, 2016

12

Scheduling Internet of Things requests to minimize latency in hybrid fog-cloud computing

Aburukba, Raafat O., AliKarrar, Mazin, Landolsi, Taha, El-Fakih, Khaled

Journal:

Future Generation Computer Systems

Year:

2019

File:

PDF, 1.69 MB

2019

13

Energy aware simulation and testing of smart-spaces

El-Fakih, Khaled, Mizumoto, Teruhiro, Yasumoto, Keiichi, Higashino, Teruo

Journal:

Information and Software Technology

Year:

2020

File:

PDF, 1.23 MB

2020

14

Progressive solutions to a parallel automata equation

Khaled El-Fakih, Nina Yevtushenko, Sergey Buffalov, Gregor v. Bochmann

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 373 KB

english, 2006

15

Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets

Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino

Journal:

Distributed Computing

Year:

2003

Language:

english

File:

PDF, 295 KB

english, 2003

16

[IEEE 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) - Beijing, China (2009.08.24-2009.08.26)] 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications - Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors

Kitani, Tomoya, Nakahashi, Ryo, El-Fakih, Khaled, Higashino, Teruo

Year:

2009

Language:

english

File:

PDF, 556 KB

english, 2009

17

[IEEE 2008 International Conference on Software Testing, Verification, and Validation - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 International Conference on Software Testing, Verification, and Validation - Extended Finite State Machine Based Test Derivation Driven by User Defined Faults

El-Fakih, Khaled, Kolomeez, Anton, Prokopenko, Svetlana, Yevtushenko, Nina

Year:

2008

Language:

english

File:

PDF, 675 KB

english, 2008

18

FSM-based conformance testing methods: A survey annotated with experimental evaluation

Rita Dorofeeva, Khaled El-Fakih, Stephane Maag, Ana R. Cavalli, Nina Yevtushenko

Journal:

Information and Software Technology

Year:

2010

Language:

english

File:

PDF, 948 KB

english, 2010

19

Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation

El-Fakih, Khaled, Yevtushenko, Nina, Kushik, Natalia

Journal:

Formal Aspects of Computing

Year:

2018

Language:

english

File:

PDF, 1.30 MB

english, 2018

20

$\mathcal{K}$-branching UIO sequences for partially specified observable non-deterministic FSMs

El-Fakih, Khaled, Hierons, Robert Mark, Turker, Uraz cengiz

Journal:

IEEE Transactions on Software Engineering

Year:

2020

File:

PDF, 1.07 MB

2020

21

Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions

Yevtushenko, Nina, El-Fakih, Khaled, Villa, Tiziano, Jiang, Jie-Hong R.

Journal:

The Computer Journal

Year:

2015

Language:

english

File:

PDF, 478 KB

english, 2015

22

[ACM Press the international workshop - Stevenson, Washington, USA (2005.06.13-2005.06.14)] Proceedings of the international workshop on Network and operating systems support for digital audio and video - NOSSDAV '05 - A formal approach to design optimized multimedia service overlay

Yamaguchi, Hirozumi, El-Fakih, Khaled, Hiromori, Akihito, Higashino, Teruo

Year:

2005

Language:

english

File:

PDF, 195 KB

english, 2005

23

Studying the separability relation between finite state machines

Natalia Spitsyna, Khaled El-Fakih, Nina Yevtushenko

Journal:

Software Testing, Verification and Reliability

Year:

2007

Language:

english

File:

PDF, 296 KB

english, 2007

24

An Assessment of Extended Finite State Machine Test Selection Criteria

El-Fakih, Khaled, Simao, Adenilso, Jadoon, Noshad, Maldonado, Jose Carlos

Journal:

Journal of Systems and Software

Year:

2016

Language:

english

File:

PDF, 728 KB

english, 2016

25

[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems – FORTE 2008 Volume 5048 || Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets

Suzuki, Kenji, Higashino, Teruo, Yasumoto, Keiichi, El-Fakih, Khaled

Year:

2008

Language:

english

File:

PDF, 498 KB

english, 2008

26

Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines

El-Fakih, Khaled, Yevtushenko, Nina, Saleh, Ayat

Journal:

The Computer Journal

Year:

2018

Language:

english

File:

PDF, 7.64 MB

english, 2018

27

A GA-based movie-on-demand platform using multiple distributed servers

Gerassimos Barlas, Khaled El-Fakih

Journal:

Multimedia Tools and Applications

Year:

2008

Language:

english

File:

PDF, 598 KB

english, 2008

28

[IEEE 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - OH, USA (2014.3.31-2014.4.4)] 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops - On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria

El-Fakih, Khaled, Simao, Adenilso, Jadoon, Noshad, Maldonado, Jose Carlos

Year:

2014

Language:

english

File:

PDF, 436 KB

english, 2014

29

Distinguishing extended finite state machine configurations using predicate abstraction

El-Fakih, Khaled, Yevtushenko, Nina, Bozga, Marius, Bensalem, Saddek

Journal:

Journal of Software Engineering Research and Development

Year:

2016

Language:

english

File:

PDF, 1.59 MB

english, 2016

30

[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems – FORTE 2008 Volume 5048 || Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning

Suzuki, Kenji, Higashino, Teruo, Yasumoto, Keiichi, El-Fakih, Khaled

Year:

2008

Language:

english

File:

PDF, 223 KB

english, 2008

31

Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage

Tvardovskii, Aleksandr, El-Fakih, Khaled, Gromov, Maxim, Yevtushenko, Nina

Journal:

Automatic Control and Computer Sciences

Year:

2017

Language:

english

File:

PDF, 283 KB

english, 2017

32

[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems – FORTE 2008 Volume 5048 ||

Suzuki, Kenji, Higashino, Teruo, Yasumoto, Keiichi, El-Fakih, Khaled

Year:

2008

Language:

english

File:

PDF, 8.92 MB

english, 2008

33

A practical approach for testing timed deterministic finite state machines with single clock

El-Fakih, Khaled, Yevtushenko, Nina, Simao, Adenilso

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.14 MB

english, 2014

34

[IEEE 2013 IEEE 10th International Conference on Ubiquitous Intelligence & Computing and 2013 IEEE 10th International Conference on Autonomic & Trusted Computing (UIC/ATC) - Italy (2013.12.18-2013.12.21)] 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing - PathSim: A Tool for Finding Minimal Energy Device Operation Sequence for Reaching a Target Context in a Smart-Home

Mizumoto, Teruhiro, El-Fakih, Khaled, Yasumoto, Keiichi

Year:

2013

Language:

english

File:

PDF, 407 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски